Agent Logic

Results: 192



#Item
181Semantics / Applied mathematics / Denotational semantics / Philosophy of language / Operational semantics / Formal semantics / Principle of compositionality / Theoretical computer science / Logic in computer science / Programming language semantics

cognitive agent programming a semantic approach

Add to Reading List

Source URL: www.pst.ifi.lmu.de

Language: English - Date: 2006-09-29 11:07:11
182Predicate logic / Logic / Atom / RSS / Literal / 3APL / Computing / Propositional calculus / Multi-agent systems

The EBNF specification of the 3APL language for individual agents P rogram ::=

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2006-01-16 05:58:01
183Admissible rule / Modal logic / 3APL / Symbol / Natural deduction / Multi-agent systems / Mathematical logic / Logic

A Programming Language for Cognitive Agents Goal Directed 3APL Mehdi Dastani

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2003-06-04 18:56:22
184Science / Procedural reasoning system / Intelligent agent / Agent-based model / Norm / Reasoning system / Belief–desire–intention model / Modal logic / Actor model / Artificial intelligence / Multi-agent systems / Computing

Agent-Based Software Engineering Michael Wooldridge Mitsubishi Electric Digital Library Group

Add to Reading List

Source URL: www.dia.fi.upm.es

Language: English - Date: 2011-03-18 11:14:13
185Science / Data / Information science / Technical communication / Knowledge representation / DARPA Agent Markup Language / Knowledge representation and reasoning / Resource Description Framework / Description logic / Ontology / Information / Semantic Web

The Semantic Web Ontology Languages

Add to Reading List

Source URL: oa.upm.es

Language: English - Date: 2010-08-22 17:51:08
186Education / Probabilistic logic network / Strong AI / Embodied agent / Ben Goertzel / Gesture / Intelligent agent / Origin of language / Language acquisition / Artificial intelligence / Science / Knowledge

A Pragmatic Path Toward Endowing Virtually-Embodied AIs with Human-Level Linguistic Capability Ben Goertzel

Add to Reading List

Source URL: www.goertzel.org

Language: English - Date: 2010-10-25 14:40:13
187Probabilistic logic network / OpenCog / Ben Goertzel / Modal logic / Probabilistic logic / Semantics / Intelligent agent / Epistemic modal logic / Uncertain inference / Logic / Artificial intelligence / Science

PDF Document

Add to Reading List

Source URL: agi-conf.org

Language: English - Date: 2010-01-26 09:11:12
188Artificial intelligence / Linguistics / Meaning / Philosophical logic / Agent Communications Language / Knowledge representation / Knowledge Query and Manipulation Language / Speech act / FIPA / Multi-agent systems / Science / Philosophy of language

PDF Document

Add to Reading List

Source URL: www.csc.ncsu.edu

Language: English - Date: 2002-06-18 13:08:24
189Artificial intelligence / Knowledge representation / Applied mathematics / Event calculus / Situation calculus / Multi-agent systems / Fluent / Communications protocol / Agent-based model / Theoretical computer science / Logic programming / Logic in computer science

PDF Document

Add to Reading List

Source URL: www.csc.ncsu.edu

Language: English - Date: 2002-07-10 12:51:19
190Knowledge / Academia / Logic / Game theory / Social software / Agent-based model / Rohit Jivanlal Parikh / Social procedure / Rational choice theory / Science / Artificial intelligence / Formal sciences

PDF Document

Add to Reading List

Source URL: staff.science.uva.nl

Language: English - Date: 2006-02-08 16:18:38
UPDATE